php: int() 函数等效于 bigint 类型？ (int() 将字符串剪切为 2147483647)